Logical approximation II

Approximation abilities of perception-based logical deduction

A perception-based logical deduction is formulated in the frame of fuzzy intensional logic. We will show that under certain conditions, this kind of deduction is also a universal approximator.

Logical approximation for program analysis

The abstract interpretation of programs relates the exact semantics of a programming language to a finite approximation of those semantics. In this article, we describe an approach to abstract interpretation that is based in logic and logic programming. Our approach consists of faithfully representing a transition system within logic and then manipulating this initial specification to create a ...

Inductive Logic Programming Beyond Logical Implication

This paper discusses the generalization of deenite Horn programs beyond the ordering of logical implication. Since the seminal paper on generalization of clauses based on subsumption, there are various extensions in this area. Especially in inductive logic programming(ILP), people are using various methods that approximate logical implication, such as inverse resolution(IR), relative least gene...

Modeling coherent errors in quantum error correction

Analysis of quantum error correcting codes is typically done using a stochastic, Pauli channel error model for describing the noise on physical qubits. However, it was recently found that coherent errors (systematic rotations) on physical data qubits result in both physical and logical error rates that differ significantly from those predicted by a Paulimodel. Herewe examine the accuracy of the...

Weighted NP Optimization Problems: Logical De nability and Approximation Properties